Nilpotent Matrix
   HOME

TheInfoList



OR:

In
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as: :a_1x_1+\cdots +a_nx_n=b, linear maps such as: :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrices. ...
, a nilpotent matrix is a
square matrix In mathematics, a square matrix is a matrix with the same number of rows and columns. An ''n''-by-''n'' matrix is known as a square matrix of order Any two square matrices of the same order can be added and multiplied. Square matrices are often ...
''N'' such that :N^k = 0\, for some positive
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
k. The smallest such k is called the index of N, sometimes the degree of N. More generally, a nilpotent transformation is a
linear transformation In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pre ...
L of a
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
such that L^k = 0 for some positive integer k (and thus, L^j = 0 for all j \geq k). Both of these concepts are special cases of a more general concept of nilpotence that applies to elements of
rings Ring may refer to: * Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry * To make a sound with a bell, and the sound made by a bell :(hence) to initiate a telephone connection Arts, entertainment and media Film and ...
.


Examples


Example 1

The matrix : A = \begin 0 & 1 \\ 0 & 0 \end is nilpotent with index 2, since A^2 = 0.


Example 2

More generally, any n-dimensional
triangular matrix In mathematics, a triangular matrix is a special kind of square matrix. A square matrix is called if all the entries ''above'' the main diagonal are zero. Similarly, a square matrix is called if all the entries ''below'' the main diagonal are ...
with zeros along the
main diagonal In linear algebra, the main diagonal (sometimes principal diagonal, primary diagonal, leading diagonal, major diagonal, or good diagonal) of a matrix A is the list of entries a_ where i = j. All off-diagonal elements are zero in a diagonal matrix. ...
is nilpotent, with index \le n . For example, the matrix : B=\begin 0 & 2 & 1 & 6\\ 0 & 0 & 1 & 2\\ 0 & 0 & 0 & 3\\ 0 & 0 & 0 & 0 \end is nilpotent, with : B^2=\begin 0 & 0 & 2 & 7\\ 0 & 0 & 0 & 3\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 \end ;\ B^3=\begin 0 & 0 & 0 & 6\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 \end ;\ B^4=\begin 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 \end. The index of B is therefore 4.


Example 3

Although the examples above have a large number of zero entries, a typical nilpotent matrix does not. For example, : C=\begin 5 & -3 & 2 \\ 15 & -9 & 6 \\ 10 & -6 & 4 \end \qquad C^2=\begin 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end although the matrix has no zero entries.


Example 4

Additionally, any matrices of the form : \begin a_1 & a_1 & \cdots & a_1 \\ a_2 & a_2 & \cdots & a_2 \\ \vdots & \vdots & \ddots & \vdots \\ -a_1-a_2-\ldots-a_ & -a_1-a_2-\ldots-a_ & \ldots & -a_1-a_2-\ldots-a_ \end such as : \begin 5 & 5 & 5 \\ 6 & 6 & 6 \\ -11 & -11 & -11 \end or :\begin 1 & 1 & 1 & 1 \\ 2 & 2 & 2 & 2 \\ 4 & 4 & 4 & 4 \\ -7 & -7 & -7 & -7 \end square to zero.


Example 5

Perhaps some of the most striking examples of nilpotent matrices are n\times n square matrices of the form: :\begin 2 & 2 & 2 & \cdots & 1-n \\ n+2 & 1 & 1 & \cdots & -n \\ 1 & n+2 & 1 & \cdots & -n \\ 1 & 1 & n+2 & \cdots & -n \\ \vdots & \vdots & \vdots & \ddots & \vdots \end The first few of which are: :\begin 2 & -1 \\ 4 & -2 \end \qquad \begin 2 & 2 & -2 \\ 5 & 1 & -3 \\ 1 & 5 & -3 \end \qquad \begin 2 & 2 & 2 & -3 \\ 6 & 1 & 1 & -4 \\ 1 & 6 & 1 & -4 \\ 1 & 1 & 6 & -4 \end \qquad \begin 2 & 2 & 2 & 2 & -4 \\ 7 & 1 & 1 & 1 & -5 \\ 1 & 7 & 1 & 1 & -5 \\ 1 & 1 & 7 & 1 & -5 \\ 1 & 1 & 1 & 7 & -5 \end \qquad \ldots These matrices are nilpotent but there are no zero entries in any powers of them less than the index.


Example 6

Consider the linear space of
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
s of a bounded degree. The
derivative In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. F ...
operator is a linear map. We know that applying the derivative to a polynomial decreases its degree by one, so when applying it iteratively, we will eventually obtain zero. Therefore, on such a space, the derivative is representable by a nilpotent matrix.


Characterization

For an n \times n square matrix N with
real Real may refer to: Currencies * Brazilian real (R$) * Central American Republic real * Mexican real * Portuguese real * Spanish real * Spanish colonial real Music Albums * ''Real'' (L'Arc-en-Ciel album) (2000) * ''Real'' (Bright album) (2010) ...
(or
complex Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each ...
) entries, the following are equivalent: * N is nilpotent. * The
characteristic polynomial In linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The chara ...
for N is \det \left(xI - N\right) = x^n. * The minimal polynomial for N is x^k for some positive integer k \leq n. * The only complex eigenvalue for N is 0. The last theorem holds true for matrices over any
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
of characteristic 0 or sufficiently large characteristic. (cf.
Newton's identities In mathematics, Newton's identities, also known as the Girard–Newton formulae, give relations between two types of symmetric polynomials, namely between power sums and elementary symmetric polynomials. Evaluated at the roots of a monic polynomia ...
) This theorem has several consequences, including: * The index of an n \times n nilpotent matrix is always less than or equal to n. For example, every 2 \times 2 nilpotent matrix squares to zero. * The
determinant In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and ...
and
trace Trace may refer to: Arts and entertainment Music * ''Trace'' (Son Volt album), 1995 * ''Trace'' (Died Pretty album), 1993 * Trace (band), a Dutch progressive rock band * ''The Trace'' (album) Other uses in arts and entertainment * ''Trace'' ...
of a nilpotent matrix are always zero. Consequently, a nilpotent matrix cannot be
invertible In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers. Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that is ...
. * The only nilpotent
diagonalizable matrix In linear algebra, a square matrix A is called diagonalizable or non-defective if it is similar to a diagonal matrix, i.e., if there exists an invertible matrix P and a diagonal matrix D such that or equivalently (Such D are not unique.) ...
is the zero matrix. See also: Jordan–Chevalley decomposition#Nilpotency criterion.


Classification

Consider the n \times n (upper)
shift matrix In mathematics, a shift matrix is a binary matrix with ones only on the superdiagonal or subdiagonal, and zeroes elsewhere. A shift matrix ''U'' with ones on the superdiagonal is an upper shift matrix. The alternative subdiagonal matrix ''L'' is ...
: :S = \begin 0 & 1 & 0 & \ldots & 0 \\ 0 & 0 & 1 & \ldots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \ldots & 1 \\ 0 & 0 & 0 & \ldots & 0 \end. This matrix has 1s along the superdiagonal and 0s everywhere else. As a linear transformation, the shift matrix "shifts" the components of a vector one position to the left, with a zero appearing in the last position: :S(x_1,x_2,\ldots,x_n) = (x_2,\ldots,x_n,0). This matrix is nilpotent with degree n, and is the
canonical The adjective canonical is applied in many contexts to mean "according to the canon" the standard, rule or primary source that is accepted as authoritative for the body of knowledge or literature in that context. In mathematics, "canonical example ...
nilpotent matrix. Specifically, if N is any nilpotent matrix, then N is similar to a
block diagonal matrix In mathematics, a block matrix or a partitioned matrix is a matrix that is '' interpreted'' as having been broken into sections called blocks or submatrices. Intuitively, a matrix interpreted as a block matrix can be visualized as the original m ...
of the form : \begin S_1 & 0 & \ldots & 0 \\ 0 & S_2 & \ldots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \ldots & S_r \end where each of the blocks S_1,S_2,\ldots,S_r is a shift matrix (possibly of different sizes). This form is a special case of the
Jordan canonical form In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF), is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to so ...
for matrices. For example, any nonzero 2 × 2 nilpotent matrix is similar to the matrix : \begin 0 & 1 \\ 0 & 0 \end. That is, if N is any nonzero 2 × 2 nilpotent matrix, then there exists a basis b1, b2 such that ''N''b1 = 0 and ''N''b2 = b1. This classification theorem holds for matrices over any
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
. (It is not necessary for the field to be algebraically closed.)


Flag of subspaces

A nilpotent transformation L on \mathbb^n naturally determines a
flag A flag is a piece of fabric (most often rectangular or quadrilateral) with a distinctive design and colours. It is used as a symbol, a signalling device, or for decoration. The term ''flag'' is also used to refer to the graphic design empl ...
of subspaces : \ \subset \ker L \subset \ker L^2 \subset \ldots \subset \ker L^ \subset \ker L^q = \mathbb^n and a signature : 0 = n_0 < n_1 < n_2 < \ldots < n_ < n_q = n,\qquad n_i = \dim \ker L^i. The signature characterizes L
up to Two Mathematical object, mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R'' * if ''a'' and ''b'' are related by ''R'', that is, * if ''aRb'' holds, that is, * if the equivalence classes of ''a'' and ''b'' wi ...
an invertible
linear transformation In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pre ...
. Furthermore, it satisfies the inequalities : n_ - n_j \leq n_j - n_, \qquad \mbox j = 1,\ldots,q-1. Conversely, any sequence of natural numbers satisfying these inequalities is the signature of a nilpotent transformation.


Additional properties


Generalizations

A
linear operator In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pre ...
T is locally nilpotent if for every vector v, there exists a k\in\mathbb such that :T^k(v) = 0.\!\, For operators on a finite-dimensional vector space, local nilpotence is equivalent to nilpotence.


Notes


References

* * *


External links


Nilpotent matrix
an
nilpotent transformation
on
PlanetMath PlanetMath is a free, collaborative, mathematics online encyclopedia. The emphasis is on rigour, openness, pedagogy, real-time content, interlinked content, and also community of about 24,000 people with various maths interests. Intended to be c ...
. {{Matrix classes Matrices